Nuprl Lemma : bool_wf 13,42
  Type 
latex

Upbool 1, bool 1
Definitions, t  T
Lemmasunit wf

origin